home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work / als_2.06.0 next >
Encoding:
Text File  |  1992-04-03  |  950 b   |  61 lines
  1. %%%
  2. %%% version 2.05.3
  3. %%%   initial version
  4. %%% version 2.05.4
  5. %%%   added banner to Quintus version
  6. %%% version 2.05.9
  7. %%%   added Quintus Prolog 3.1 support
  8. %%% version 2.06.0
  9. %%%   added garbage collect/0 for als and cprolog
  10.  
  11. %%%
  12. %%% Specific code for ALS Prolog.
  13. %%%
  14.  
  15. %%%
  16. %%% Cputime/1.
  17. %%%
  18.     cputime(X) :-
  19.       X is floor(cputime*1000)/1000.
  20.  
  21. %%%
  22. %%% Floor/2.
  23. %%%
  24.     floor(X,Y) :-
  25.       Y is floor(X).
  26.  
  27. %%%
  28. %%% Load_file/1.
  29. %%%
  30.     load_file(X) :-
  31.       [-X].
  32.  
  33. %%%
  34. %%% Numbervars/3.
  35. %%%
  36.      numbervars('$VAR'(N),N,N1) :-
  37.     N1 is N + 1, !.
  38.      numbervars(Term,N1,N2) :-
  39.     nonvar(Term), functor(Term,F,N),
  40.     numbervars(0,N,Term,N1,N2).
  41.  
  42.      numbervars(N,N,Term,N1,N1):- !.
  43.      numbervars(I,N,Term,N1,N3) :-
  44.     I < N,
  45.     I1 is I + 1,
  46.     arg(I1,Term,Arg),
  47.     numbervars(Arg,N1,N2),
  48.     numbervars(I1,N,Term,N2,N3).
  49.  
  50. %%%
  51. %%% Initialization/1.
  52. %%%
  53.     initialization(X) :-
  54.       call(X),
  55.       !.
  56.  
  57. %%%
  58. %%% Garbage_collect/0.
  59. %%%
  60.     garbage_collect :- gc.
  61.